namespace CXX_SUSPICIOUS_INDEX_CHECK_ZERO {
    namespace bad
    {
        int get_index();
        void foo()
        {
            int err = 0;
            const int SIZE = 10;
            int arr[SIZE];
            int index = get_index();
            if (index > 0) {
                arr[index] = 10;
            }
        }
    }

    namespace good
    {
        int get_index();
        void foo()
        {
            int err = 0;
            const int SIZE = 10;
            int arr[SIZE];
            int index = get_index();
            if (index >= 0 && index < 10) {
                arr[index] = 10;
            }
        }
    }

}